Compass SPMD: a SPMD vectorized tracking algorithm

Optimizing Parallel SPMD Programs

We present compiler optimization techniques for explicitly parallel programs that communicate through a shared address space. The source programs are written in a single program multiple data (SPMD) style, and the machine target is a multiprocessor with physically distributed memory and hardware or software support for a single address space. Unlike sequential programs or data-parallel programs...

Strategic SPMD (DRAFT)

This paper extends the existing concept of evaluation strategies, higher-order functions that can be used to separate behaviour from algorithm in parallel functional programs, to support the SPMD model of parallelism. Our model allows SPMD sub-programs to be composed with other parallel paradigms, or to be arbitrarily nested with other parallel paradigms. This represents a major step towards su...

Performance modeling for SPMD message-passing programs

Checking Non-Interference in SPMD Programs

We study one of the basic multicore and GPU programming models, namely, SPMD (Single-Program Multiple-Data) programs. We define a formal model of SPMD programs based on interleaving threads that manipulate global and local arrays, and synchronize via barriers. SPMD programs are written with the intention to be deterministic, although programming errors may result in this not being true. SPMD pr...

Towards a Java Environment for SPMD Programming

As a relatively straightforward object-oriented language, Java is a plausible basis for a scientiic parallel programming language. We outline a conservative set of language extensions to support this kind of programming. The programming style advocated is Single Program Multiple Data (SPMD), with parallel arrays added as language primi-tives. Communications involving distributed arrays are hand...